home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / tools / tie / tie.preamble < prev    next >
Text File  |  1992-07-05  |  825b  |  32 lines
  1.  
  2. \def\hang{\hangindent 3em\indent\ignorespaces}
  3. \font\mc=cmcsc10
  4. \def\PASCAL{{\mc Pascal}}
  5. \def\cee{{\mc C}}
  6. \def\ASCII{{\mc ascii}}
  7. \def\pb{$\.|\ldots\.|$} % pascal brackets (|...|)
  8. \def\v{\.{\char'174}} % vertical (|) in typewriter font
  9. \mathchardef\BA="3224 % double arrow
  10. \def\({} % kludge for alphabetizing certain module names
  11.  
  12. \def\title{TIE}
  13. \def\topofcontents{\null\vfill
  14.   \centerline{\titlefont The {\ttitlefont TIE} processor}
  15.   \vskip 15pt
  16.   \centerline{(Version 1.3)}
  17.   \vfill}
  18. \def\botofcontents{
  19. \null\vfill
  20. \item{$\copyright$}1983, 1984, 1986
  21.    by Technische Hochschule Darmstadt,\hfill\break
  22. Fachbereich Informatik, Institut f\"ur Theoretische Informatik\hfill\break
  23. All rights reserved.\hfill\break
  24. This program is put into the public domain and may be used freely
  25. for any non commercial purposes.
  26. }
  27.  
  28.  
  29.  
  30.  
  31.  
  32.